Performativité de l’économie ou pouvoir symbolique ?

Représentation Symbolique de Trajectoires Géolocalisées

RESUME. Énormément de trajectoires géolocalisées sont produites et disponibles, mais leur exploitation pour en tirer des informations intéressantes reste difficile. L'obstacle qui nous intéresse ici est la mauvaise qualité de certaines de ces données : échantillonnage très irrégulier et précision médiocre. Nous proposons de les transposer dans des domaines symboliques pour pouvoir effectuer des...

Test Symbolique De Services Web Composites

Web services are gaining industry-wide acceptance and usage by fostering the development of distributed applications out of the composition of simpler entities called services. In complement to verification, testing allows one to check for the correctness of a binary (no source code) service implementation with reference to a specification. In this thesis, we propose black box conformance testi...

Proposition De Stage Et / Ou De These »

Résumé: Recent progresses in the characterization of physical properties of viruses allows for the first time to investigate distinct virus cycle events at the single particle level [1]. Using an original combination of experimental approaches based on Atomic Force Microscopy (AFM) and statistical physics modelization, we propose to study the physical properties of Adeno-Associated Virus (AAV) ...

Fusion symbolique pour la recommandation de programmes télévisés

Contrôle de systèmes symboliques, discrets ou hybrides

pto Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (UMR 6074) Université de Rennes 1 – Insa de Rennes et en Automatique – unité de recherche de Rennes Supervisory Control of Discrete or Hybrid Symbolic systems Abstract In this paper we tackle the safety controller synthesis problem for various models ranging from nite transition systems to hybrid sys...